Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
971	The Birth of Model Checking Edmund M. Clarke [removed] Add to Reading List Source URL: www.model.in.tum.de Language: English - Date: 2008-03-26 08:39:11 Formal methods Model checkers Turing Award laureates Proof theory Model checking Formal verification Temporal logic Edmund M. Clarke Concurrency Logic Theoretical computer science Mathematics
972	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 23, NO. 5, MAY[removed] Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:28 Formal methods Automata theory Models of computation SPIN model checker Model checking Promela Formal verification Büchi automaton Linear temporal logic Model checkers Theoretical computer science Applied mathematics
973	Avinux: Towards Automatic Verification of Linux Device Drivers Hendrik Post, Carsten Sinz, Wolfgang K¨ Add to Reading List Source URL: www.carstensinz.de Language: English - Date: 2008-08-26 05:32:59 Procedural programming languages Computing platforms Linux Kernel Device driver C Pointer Model checking Device driver synthesis and verification Computing Software Cross-platform software
974	PDF Document Add to Reading List Source URL: qav.cs.ox.ac.uk Language: English - Date: 2011-05-07 05:01:22 PP Quantum complexity theory Probabilistic method PRISM model checker Model checking Theoretical computer science Computational complexity theory Applied mathematics
975	PDF Document Add to Reading List Source URL: qav.cs.ox.ac.uk Language: English - Date: 2007-07-13 07:18:18 Markov chain Continuous-time Markov process Stochastic process Interpretation Markov decision process Linear temporal logic Statistics Markov processes Model checking
976	2002: MODEL VERIFICATION AND VALIDATION Add to Reading List Source URL: informs-sim.org Language: English - Date: 2002-12-03 14:54:06 Formal methods Scientific modeling Operations research Simulation Scientific modelling Logic simulation Model checking Economic model Conceptual model Science Ethology Software development
977	PDF Document Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Data types C programming language Assertion Debugging Logic in computer science Formal methods Pointer Model checking SLAM project Software engineering Computer programming Computing
978	PDF Document Add to Reading List Source URL: www.model.in.tum.de Language: English - Date: 2008-03-27 10:41:08 Temporal logic Logic in computer science Formal methods Formal sciences Model checking Linear temporal logic Computation tree logic Formal verification CTL* Mathematical logic Logic Theoretical computer science
979	PDF Document Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2008-06-14 18:03:24 Application programming interfaces Parallel computing Model checking MPICH Thread Message Passing Interface ISP Formal Verification Tool Computing Computer programming Software
980	PDF Document Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-03-13 07:54:14 Mathematics Linear temporal logic Model checking Kripke semantics LTL Model theory CTL* Computation tree logic Logic Mathematical logic Temporal logic

UPDATE